CE 335 Computational Methods in Civil Engineering Text Book: Numerical Mathematics and Computing, by Ward Cheney and David Kincaid, Brooks/Cole Publishing Company

Source URL: www-ce.engr.ccny.cuny.edu

• Mathematics
• Algebra
• Numerical analysis
• Numerical linear algebra
• Computational science
• Linear algebra
• Equation
• Polynomial interpolation
• Numerical integration
• Differential equation
• Interpolation
• System of linear equations

The Design and Use of eActivities for Learning Mathematics* Barry Kissane School of Education Murdoch University

Source URL: wwwstaff.murdoch.edu.au

• Graphing calculators
• Computing
• Casio ClassPad 300
• Office equipment
• Business
• Technology
• Classpad
• Casio
• Calculator
• Mathematics education
• Software calculator
• Mathematics

Parameter Estimation for HMMs Parameter Estimation: Task and Method

Source URL: cl.indiana.edu

• Computing
• Markov models
• Statistics
• Applied mathematics
• Estimation theory
• Expectationmaximization algorithm
• Missing data
• BaumWelch algorithm
• Cp

Preprint version, including errata: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=Shared Memory Parallelization of Fully-Adaptive Simulations Using a Dynamic Tree-Split and -Join Approach

Source URL: www5.in.tum.de

• Mathematics
• Computer programming
• Software engineering
• Recursion
• Combinatorics
• Integer sequences
• Tree traversal
• Partition of a set
• Stack
• Parallel computing
• Partition
• Binary tree

Computing Homology of Groups with Kenzo and GAP Interoperating between Computer Algebra Systems: Computing Homology of Groups with Kenzo and GAP Ana Romero, Graham Ellis, and Julio Rubio Universidad de La Rioja, Spain -

Source URL: issac2009.kias.re.kr

• Homology theory
• Abstract algebra
• Algebra
• Mathematics
• Homology
• Topology
• Floer homology
• Singular homology

Nested Concept Graphs: Applications for Databases Frithjof Dau and Joachim Hereth Correia Darmstadt University of Technology, Department of Mathematics, Schlossgartenstr. 7, D–64289 Darmstadt, Germany, {dau,hereth}@mat

Source URL: www.dr-dau.net

• Data management
• Computing
• Software
• SQL
• Database theory
• Relational database management systems
• Query languages
• Database management systems
• Join
• Conceptual graph
• Database
• Relational database

The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.

Source URL: www.bedewell.com

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Predicate logic
• Finite model theory
• Automated theorem proving
• Boolean algebra
• First-order logic
• Resolution
• FO
• Interpretation

Darton State College Division of Academic Affairs School of Science, Mathematics and Computing Main Office Dean of Science, Mathematics

Source URL: employee.darton.edu

VECTOR-BASED COMPUTER GRAPHICS IN AUTOMATED MAP COMPILATION C F Scheepers, Scientist Centre for Advanced Computing and Decision Support CSIR, P O Box 395, Pretoria 0001 Republic of South Africa

Source URL: mapcontext.com

• Mathematics
• Algebra
• Geometry
• Vectors
• Linear algebra
• Coordinate systems
• Elementary mathematics
• Analytic geometry
• Cartesian coordinate system
• Vector space
• Sine
• Euclidean vector

Compliance Games Piotr Ka´zmierczak Dept. of Computing, Mathematics and Physics Bergen University College, Norway

Source URL: piotrkazmierczak.com

• Game theory
• Symbol
• Modal logic
• Core
• Cooperative game